3 avatar="http://cdn.libravatar.org/avatar/05fd8b33af7183342153e8013aa3713d"
5 date="2022-07-31T18:00:59Z"
7 @Ilya: Yes, the change took place in commit [[!commit b5dc04099efd8b1bd2dbfa09a288518eabf8ceec]] which was some 24 hours after
8 release 10.20220724. :)